The lambdaPi-calculus, a theory of first-order dependent function types in Curry-Howard-de Bruijn correspondence with a fragment of minimal first-order logic, is defined as a system of (linearized) natural deduction. In this paper, we present a Gentzen-style sequent calculus for the lambdaPi-calculus and prove the cut-elimination theorem. The cut-elimination result builds upon the existence of normal forms for the natural deduction system and can be considered to be analogous to a proof provided by Prawitz for first-order logic. The type-theoretic setting (...) considered here elegantly illustrates the distinction between the processes of normalization in a natural deduction system and cut-elimination in a Gentzen-style sequent calculus. (shrink)

BackgroundThe ARRIVE (Animal Research: Reporting of In Vivo Experiments) guidelines are widely endorsed but compliance is limited. We sought to determine whether journal-requested completion of an ARRIVE checklist improves full compliance with the guidelines.MethodsIn a randomised controlled trial, manuscripts reporting in vivo animal research submitted to PLOS ONE (March–June 2015) were randomly allocated to either requested completion of an ARRIVE checklist or current standard practice. Authors, academic editors, and peer reviewers were blinded to group allocation. Trained reviewers performed outcome adjudication (...) in duplicate by assessing manuscripts against an operationalised version of the ARRIVE guidelines that consists 108 items. Our primary outcome was the between-group differences in the proportion of manuscripts meeting all ARRIVE guideline checklist subitems.ResultsWe randomised 1689 manuscripts (control: n = 844, intervention: n = 845), of which 1269 were sent for peer review and 762 (control: n = 340; intervention: n = 332) accepted for publication. No manuscript in either group achieved full compliance with the ARRIVE checklist. Details of animal husbandry (ARRIVE subitem 9b) was the only subitem to show improvements in reporting, with the proportion of compliant manuscripts rising from 52.1 to 74.1% (X2 = 34.0, df = 1, p = 2.1 × 10−7) in the control and intervention groups, respectively.ConclusionsThese results suggest that altering the editorial process to include requests for a completed ARRIVE checklist is not enough to improve compliance with the ARRIVE guidelines. Other approaches, such as more stringent editorial policies or a targeted approach on key quality items, may promote improvements in reporting. (shrink)

It is often argued that human emotions, and the cognitions that accompany them, involve refinements of, and extensions to, more basic functionality shared with other species. Such refinements may rely on common or on distinct processes and representations. Multi-level theories of cognition and affect make distinctions between qualitatively different types of representations often dealing with bodily, affective and cognitive attributes of self-related meanings. This paper will adopt a particular multi-level perspective on mental architecture and show how a mechanism of subsystem (...) differentiation could have allowed an evolutionarily “old” role for emotion in the control of action to have altered into one more closely coupled to meaning systems. We conclude by outlining some illustrative consequences of our analysis that might usefully be addressed in research in comparative psychology, cognitive archaeology, and in laboratory research on memory for emotional material. (shrink)

We conducted an online study of projected behavioral and emotional responses to escalating terrorist threat. The study employed scenarios in which terrorists targeted commercial airliners with missiles at an international airport. An important feature of attacks on commercial flights is that unlike many other terrorist threats, exposure to the risk can be controlled simply be refusing to fly. Nine scenarios were constructed by crossing two between-subjects factors, each with three levels: (1) planned government protective actions and (2) social norm, expressed (...) as variation in airline ticket sales. Scenarios also incorporated descriptions of three increasingly severe attacks; this was a within-subjects factor. After each description, we asked respondents to imagine they had planned a vacation to a destination 2,500 km away, and we examined their projected fear and behavior. Fear increased and more trips were canceled as the attacks escalated. Government protective actions and social norm had little impact on either fear or planned flying. (shrink)

A complete sourcebook for philosophical discussion of the nature of function in biology.

Why is two-dimensional semantics important? One can think of it as the most recent act in a drama involving three of the central concepts of philosophy: meaning, reason, and modality. First, Kant linked reason and modality, by suggesting that what is necessary is knowable a priori, and vice versa. Second, Frege linked reason and meaning, by proposing an aspect of meaning (sense) that is constitutively tied to cognitive signi?cance. Third, Carnap linked meaning and modality, by proposing an aspect of meaning (...) (intension) that is constitutively tied to possibility and necessity. (shrink)

Does consciousness collapse the quantum wave function? This idea was taken seriously by John von Neumann and Eugene Wigner but is now widely dismissed. We develop the idea by combining a mathematical theory of consciousness (integrated information theory) with an account of quantum collapse dynamics (continuous spontaneous localization). Simple versions of the theory are falsified by the quantum Zeno effect, but more complex versions remain compatible with empirical evidence. In principle, versions of the theory can be tested by experiments with (...) quantum computers. The upshot is not that consciousness-collapse interpretations are clearly correct, but that there is a research program here worth exploring. (shrink)

*[[This paper is largely based on material in other papers. The first three sections and the appendix are drawn with minor modifications from Chalmers 2002c . The main ideas of the last three sections are drawn from Chalmers 1996, 1999, and 2002a, although with considerable revision and elaboration. ]].

(1a) If Prince Albert Victor killed those people, he is Jack the Ripper (and Jack the Ripper killed those people). (1b) If Prince Albert Victor had killed those people, Jack the Ripper wouldn't have (and Prince Albert wouldn't have been Jack the Ripper).

What is involved in the meaning of our expressions? Frege suggested that there is an aspect of an expression.

[This is an edited version of a keynote talk at the conference on Neural Information Processing Systems (NeurIPS) on November 28, 2022, with some minor additions and subtractions.] -/- There has recently been widespread discussion of whether large language models might be sentient or conscious. Should we take this idea seriously? I will break down the strongest reasons for and against. Given mainstream assumptions in the science of consciousness, there are significant obstacles to consciousness in current models: for example, their (...) lack of recurrent processing, a global workspace, and unified agency. At the same time, it is quite possible that these obstacles will be overcome in the next decade or so. I conclude that while it is somewhat unlikely that current large language models are conscious, we should take seriously the possibility that successors to large language models may be conscious in the not-too-distant future. (shrink)

The basic question of ontology is “What exists?”. The basic question of metaontology is: are there objective answers to the basic question of ontology? Here ontological realists say yes, and ontological anti-realists say no.

Several analyses of biological function — for example, those of Williams, Millikan, and Kitcher — identify an item’s function with what natural selection designed it to do. Allen and Bekoff have disagreed, claiming that natural design is a special case of biological function. I argue that Allen and Bekoff’s account of natural design is unduly restrictive and that it fails to mark a principled distinction between function and design. I distinguish two approaches to the phenomenon of natural design — the (...) “trait-centered” approach of Allen and Bekoff and the “organism-centered” approach — and defend the latter. When design is understood according to the organism-centered approach, biological function and design are co-instantiated phenomena. (shrink)

The book examines one of the most contested topics in linguistics and cognitive science: the role of recursion in language. It offers a precise account of what recursion is, what role it should play in cognitive theories of human knowledge, and how it manifests itself in the mental representations of language and other cognitive domains.

*[[This paper is largely based on material in other papers. The first three sections and the appendix are drawn with minor modifications from Chalmers 2002c . The main ideas of the last three sections are drawn from Chalmers 1996, 1999, and 2002a, although with considerable revision and elaboration. ]].

Scientific accounts of existence give chance a central role. At the smallest level, quantum theory involves uncertainty and evolution is driven by chance and necessity. These ideas do not fit easily with theology in which chance has been seen as the enemy of purpose. One option is to argue, as proponents of Intelligent Design do, that chance is not real and can be replaced by the work of a Designer. Others adhere to a deterministic theology in which God is in (...) total control. Neither of these views, it is argued, does justice to the complexity of nature or the greatness of God. The thesis of this book is that chance is neither unreal nor non-existent but an integral part of God's creation. This view is expounded, illustrated and defended by drawing on the resources of probability theory and numerous examples from the natural and social worlds. (shrink)

Why is two-dimensional semantics important? One can think of it as the most recent act in a drama involving three of the central concepts of philosophy: meaning, reason, and modality. First, Kant linked reason and modality, by suggesting that what is necessary is knowable a priori, and vice versa. Second, Frege linked reason and meaning, by proposing an aspect of meaning (sense) that is constitutively tied to cognitive signi?cance. Third, Carnap linked meaning and modality, by proposing an aspect of meaning (...) (intension) that is constitutively tied to possibility and necessity. (shrink)

Confronted with the apparent explanatory gap between physical processes and consciousness, there are many possible reactions. Some deny that any explanatory gap exists at all. Some hold that there is an explanatory gap for now, but that it will eventually be closed. Some hold that the explanatory gap corresponds to an ontological gap in nature.

In a friendly interdisciplinary debate, we interrogate from several vantage points the question of “personhood” in light of contemporary and near-future forms of social AI. David J. Gunkel approaches the matter from a philosophical and legal standpoint, while Jordan Wales offers reflections theological and psychological. Attending to metaphysical, moral, social, and legal understandings of personhood, we ask about the position of apparently personal artificial intelligences in our society and individual lives. Re-examining the “person” and questioning prominent construals of that (...) category, we hope to open new views upon urgent and much-discussed questions that, quite soon, may confront us in our daily lives. (shrink)

Focus of animal welfare -- Agricultural sciences and animal welfare : crop production and animal production -- Veterinary science and animal welfare -- Genetics, biotechnology, and breeding : mixed blessings -- Animal welfare, grading compromise, and mitigating suffering -- Standardised behavioural testing in non-verbal humans and other animals -- Human-animal interactions and animal welfare -- Environmental enrichment : studying the nature of nurture -- Societal contexts of animal welfare -- Integrated perspectives : sleep, developmental stage, and animal welfare -- The (...) wider context of animal welfare science. (shrink)

Do we control what we believe? Are we responsible for what we believe? In a series of ten essays David Owens explores various different forms of control we might have over belief, and the different forms of responsibility these forms of control generate.

Formulations of the essential commitment of the etiological theory of functions have varied significantly, with some individual authors' formulations even varying from one place to another. The logical geography of these various formulations is different from what is standardly assumed; for they are not stylistic variants of the same essential commitment, but stylistic variants of two non-equivalent versions of the etiological theory. I distinguish these “strong” and “weak” versions of the etiological theory (which differ with respect to the role of (...) selection in their definitions of function), draw out their respective implications, and argue that the weak version is to be preferred to the strong. (shrink)

Addressing a challenge and opportunity that is definitive of life in the 21st century, this book provides a range of possible solutions that serve to motivate and structure future research and debate around the concept of 'the other' in communication.

Introduction: making the invisible visible -- The nobility of the material -- Research at war -- The guilded age of research -- The doctor as whistle-blower -- New rules for the laboratory -- Bedside ethics -- The doctor as stranger -- Life through death -- Commissioning ethics -- No one to trust -- New rules for the bedside -- Epilogue: The price of success.

It is fairly well-known that certain hard computational problems (that is, 'difficult' problems for a digital processor to solve) can in fact be solved much more easily with an analog machine. This raises questions about the true nature of the distinction between analog and digital computation (if such a distinction exists). I try to analyze the source of the observed difference in terms of (1) expanding parallelism and (2) more generally, infinite-state Turing machines. The issue of discreteness vs continuity will (...) also be touched upon, although it is not so important for analyzing these particular problems. (shrink)

There are two versions of the language-of-thought hypothesis (LOT): Representational LOT (roughly, structured representation), introduced by Ockham, and computational LOT (roughly, symbolic computation) introduced by Fodor. Like many others, I oppose the latter but not the former. Quilty-Dunn et al. defend representational LOT, but they do not defend the strong computational LOT thesis central to the classical-connectionist debate.